fpf{-}normalize(${\it eq}$;$g$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$reduce($\lambda$$x$,$f$. fpf{-}join(${\it eq}$;$x$ : ($g$.2)($x$);$f$);$\otimes$;$g$.1)